Was saint patrick a legend